big less than symbol. There are any references about big less than symbol in here. you can look below.